[next] [prev] [prev-tail] [tail] [up]

Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 156 141 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.155 0.409 0.000 0.000 0.000 0.000 0.000 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 229 188 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 1.942 0.000 0.000 0.000 0.000 0.000 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 135 100 105 97 286 122 175

N.S.

1 1.00 0.90 0.67 0.70 0.65 1.91 0.81 1.17

time (sec)

N/A 0.106 0.196 3.052 0.194 0.274 0.671 0.313 17.245

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 89 90 94 86 238 107 154

N.S.

1 1.00 0.70 0.70 0.73 0.67 1.86 0.84 1.20

time (sec)

N/A 0.091 0.119 2.934 0.200 0.265 0.483 0.305 17.379

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 78 80 84 75 216 92 115

N.S.

1 1.00 0.68 0.70 0.74 0.66 1.89 0.81 1.01

time (sec)

N/A 0.085 0.087 2.571 0.206 0.261 0.344 0.297 14.309

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 89 69 69 64 168 77 115

N.S.

1 1.00 0.97 0.75 0.75 0.70 1.83 0.84 1.25

time (sec)

N/A 0.073 0.089 2.679 0.203 0.256 0.241 0.286 18.031

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 73 57 57 53 144 62 75

N.S.

1 1.00 0.96 0.75 0.75 0.70 1.89 0.82 0.99

time (sec)

N/A 0.062 0.084 2.678 0.208 0.254 0.182 0.278 14.194

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 57 44 46 42 92 47 55

N.S.

1 1.00 1.06 0.81 0.85 0.78 1.70 0.87 1.02

time (sec)

N/A 0.047 0.043 1.812 0.203 0.252 0.116 0.292 14.051

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 32 34 29 66 31 31

N.S.

1 1.00 0.92 0.84 0.89 0.76 1.74 0.82 0.82

time (sec)

N/A 0.016 0.066 0.802 0.197 0.249 0.087 0.288 14.373

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 26 16 15 17 17 15 17

N.S.

1 1.00 1.73 1.07 1.00 1.13 1.13 1.00 1.13

time (sec)

N/A 0.009 0.018 0.583 0.183 0.252 0.054 0.268 13.692

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 29 28 36 49 43 57

N.S.

1 1.00 1.00 1.81 1.75 2.25 3.06 2.69 3.56

time (sec)

N/A 0.024 0.004 1.315 0.189 0.274 2.525 0.287 13.888

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 30 38 60 0 63 47

N.S.

1 1.00 1.00 1.25 1.58 2.50 0.00 2.62 1.96

time (sec)

N/A 0.042 0.006 2.211 0.213 0.284 0.000 0.296 13.814

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 47 58 74 0 105 81

N.S.

1 1.00 1.00 1.00 1.23 1.57 0.00 2.23 1.72

time (sec)

N/A 0.052 0.008 2.986 0.199 0.271 0.000 0.295 14.658

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 60 70 88 0 122 111

N.S.

1 1.00 0.95 0.95 1.11 1.40 0.00 1.94 1.76

time (sec)

N/A 0.065 0.117 3.061 0.199 0.289 0.000 0.296 16.442

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 59 73 95 99 0 164 150

N.S.

1 1.00 0.69 0.86 1.12 1.16 0.00 1.93 1.76

time (sec)

N/A 0.077 0.151 3.071 0.201 0.286 0.000 0.291 16.755

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 94 83 107 110 0 178 180

N.S.

1 1.00 0.93 0.82 1.06 1.09 0.00 1.76 1.78

time (sec)

N/A 0.080 0.225 3.284 0.205 0.298 0.000 0.302 17.205

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 123 112 120 110 343 127 143

N.S.

1 1.00 0.82 0.75 0.80 0.73 2.29 0.85 0.95

time (sec)

N/A 0.121 0.275 3.465 0.289 0.268 0.370 0.287 14.390

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 85 95 94 86 221 102 117

N.S.

1 1.00 0.77 0.86 0.85 0.77 1.99 0.92 1.05

time (sec)

N/A 0.116 0.152 3.874 0.203 0.269 0.250 0.292 14.089

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 86 75 82 77 211 82 93

N.S.

1 1.00 0.85 0.74 0.81 0.76 2.09 0.81 0.92

time (sec)

N/A 0.103 0.170 2.718 0.207 0.259 0.182 0.293 14.965

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 59 61 60 52 107 60 72

N.S.

1 1.00 0.83 0.86 0.85 0.73 1.51 0.85 1.01

time (sec)

N/A 0.058 0.275 1.945 0.197 0.257 0.116 0.275 14.685

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 46 43 44 40 78 43 42

N.S.

1 1.00 0.92 0.86 0.88 0.80 1.56 0.86 0.84

time (sec)

N/A 0.017 0.114 0.954 0.197 0.249 0.090 0.273 14.409

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 46 43 42 52 0 78 73

N.S.

1 1.00 1.39 1.30 1.27 1.58 0.00 2.36 2.21

time (sec)

N/A 0.065 0.023 1.521 0.203 0.280 0.000 0.307 14.450

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 43 48 74 0 77 181

N.S.

1 1.00 0.97 1.30 1.45 2.24 0.00 2.33 5.48

time (sec)

N/A 0.081 0.063 2.367 0.195 0.260 0.000 0.295 14.686

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 67 69 87 93 0 127 99

N.S.

1 1.00 1.14 1.17 1.47 1.58 0.00 2.15 1.68

time (sec)

N/A 0.092 0.008 3.077 0.191 0.263 0.000 0.302 15.289

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 71 74 84 100 0 178 141

N.S.

1 1.00 0.89 0.92 1.05 1.25 0.00 2.22 1.76

time (sec)

N/A 0.110 0.156 4.016 0.190 0.274 0.000 0.305 17.132

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 82 111 144 133 0 258 184

N.S.

1 1.00 0.75 1.01 1.31 1.21 0.00 2.35 1.67

time (sec)

N/A 0.116 0.198 3.764 0.211 0.259 0.000 0.321 18.044

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 90 110 132 136 0 272 221

N.S.

1 1.00 0.67 0.81 0.98 1.01 0.00 2.01 1.64

time (sec)

N/A 0.135 0.394 4.334 0.201 0.281 0.000 0.330 18.544

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 193 159 135 145 132 393 150 380

N.S.

1 1.14 0.94 0.79 0.85 0.78 2.31 0.88 2.24

time (sec)

N/A 0.248 0.518 4.427 0.220 0.267 0.367 0.299 15.875

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 130 113 119 110 284 124 319

N.S.

1 1.00 0.72 0.63 0.66 0.61 1.58 0.69 1.77

time (sec)

N/A 0.243 0.426 3.545 0.208 0.264 0.260 0.312 15.867

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 100 102 95 84 233 96 279

N.S.

1 1.00 0.83 0.84 0.79 0.69 1.93 0.79 2.31

time (sec)

N/A 0.127 0.345 2.627 0.290 0.271 0.179 0.292 16.293

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 90 80 67 72 66 128 72 77

N.S.

1 1.18 1.05 0.88 0.95 0.87 1.68 0.95 1.01

time (sec)

N/A 0.078 0.185 2.005 0.199 0.273 0.126 0.291 14.439

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 105 73 69 72 0 137 123

N.S.

1 1.00 1.44 1.00 0.95 0.99 0.00 1.88 1.68

time (sec)

N/A 0.125 0.389 1.570 0.223 0.272 0.000 0.310 14.793

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 88 57 66 94 0 129 97

N.S.

1 1.00 1.29 0.84 0.97 1.38 0.00 1.90 1.43

time (sec)

N/A 0.144 0.533 2.686 0.203 0.272 0.000 0.305 14.828

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 55 82 101 112 0 143 136

N.S.

1 1.00 0.70 1.04 1.28 1.42 0.00 1.81 1.72

time (sec)

N/A 0.155 0.125 3.592 0.191 0.271 0.000 0.314 14.491

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 70 96 113 126 0 205 157

N.S.

1 1.00 0.64 0.88 1.04 1.16 0.00 1.88 1.44

time (sec)

N/A 0.210 0.182 4.371 0.227 0.266 0.000 0.310 16.338

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 90 125 158 140 0 330 224

N.S.

1 1.00 0.68 0.94 1.19 1.05 0.00 2.48 1.68

time (sec)

N/A 0.241 0.319 4.997 0.199 0.298 0.000 0.315 17.994

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 120 148 181 170 0 367 260

N.S.

1 1.00 0.71 0.88 1.07 1.01 0.00 2.17 1.54

time (sec)

N/A 0.264 0.570 4.909 0.249 0.278 0.000 0.355 17.674

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 181 176 192 171 495 197 476

N.S.

1 1.00 0.73 0.71 0.78 0.69 2.00 0.80 1.93

time (sec)

N/A 0.465 0.709 5.947 0.201 0.275 0.519 0.313 15.709

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 235 156 153 170 150 459 168 214

N.S.

1 1.00 0.66 0.65 0.72 0.64 1.95 0.71 0.91

time (sec)

N/A 0.384 0.623 4.313 0.186 0.264 0.391 0.318 14.464

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 133 125 133 121 301 134 363

N.S.

1 1.00 0.78 0.74 0.78 0.71 1.77 0.79 2.14

time (sec)

N/A 0.249 0.607 3.735 0.201 0.280 0.274 0.301 15.577

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 104 101 111 96 240 107 123

N.S.

1 1.00 0.76 0.74 0.81 0.70 1.75 0.78 0.90

time (sec)

N/A 0.174 0.353 2.433 0.195 0.266 0.195 0.285 14.748

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 128 98 95 98 0 212 158

N.S.

1 1.00 1.20 0.92 0.89 0.92 0.00 1.98 1.48

time (sec)

N/A 0.272 0.553 2.617 0.200 0.276 0.000 0.316 14.752

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 119 87 90 116 0 170 150

N.S.

1 1.00 1.04 0.76 0.79 1.02 0.00 1.49 1.32

time (sec)

N/A 0.278 0.889 2.476 0.192 0.263 0.000 0.308 14.551

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 174 96 115 130 0 177 152

N.S.

1 1.00 1.61 0.89 1.06 1.20 0.00 1.64 1.41

time (sec)

N/A 0.283 2.001 3.341 0.182 0.276 0.000 0.337 14.529

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 77 109 125 138 0 221 185

N.S.

1 1.00 0.67 0.95 1.09 1.20 0.00 1.92 1.61

time (sec)

N/A 0.298 0.231 4.248 0.191 0.269 0.000 0.337 14.883

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 101 147 187 163 0 360 245

N.S.

1 1.00 0.66 0.95 1.21 1.06 0.00 2.34 1.59

time (sec)

N/A 0.386 0.344 4.676 0.214 0.272 0.000 0.337 18.016

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 125 162 195 182 0 461 304

N.S.

1 1.00 0.66 0.86 1.04 0.97 0.00 2.45 1.62

time (sec)

N/A 0.414 0.503 6.155 0.209 0.261 0.000 0.327 18.752

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 222 154 209 275 217 0 592 370

N.S.

1 1.00 0.69 0.94 1.24 0.98 0.00 2.67 1.67

time (sec)

N/A 0.461 0.654 6.021 0.195 0.279 0.000 0.363 18.890

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 153 256 0 479 0 393 474

N.S.

1 1.00 0.79 1.33 0.00 2.48 0.00 2.04 2.46

time (sec)

N/A 0.652 0.633 1.319 0.000 0.307 0.000 0.292 15.665

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 122 179 0 400 0 249 203

N.S.

1 1.00 0.82 1.21 0.00 2.70 0.00 1.68 1.37

time (sec)

N/A 0.376 0.398 1.176 0.000 0.292 0.000 0.299 15.341

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 97 138 0 334 0 177 168

N.S.

1 1.00 0.88 1.25 0.00 3.04 0.00 1.61 1.53

time (sec)

N/A 0.281 0.302 1.179 0.000 0.284 0.000 0.297 15.565

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 72 97 0 269 1744 126 190

N.S.

1 1.00 0.95 1.28 0.00 3.54 22.95 1.66 2.50

time (sec)

N/A 0.160 0.204 0.980 0.000 0.281 65.916 0.283 14.407

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 58 65 0 223 320 240 99

N.S.

1 1.00 0.98 1.10 0.00 3.78 5.42 4.07 1.68

time (sec)

N/A 0.087 0.090 0.835 0.000 0.286 12.669 0.301 14.596

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 48 44 0 175 172 78 43

N.S.

1 1.00 0.98 0.90 0.00 3.57 3.51 1.59 0.88

time (sec)

N/A 0.040 0.024 0.891 0.000 0.282 1.983 0.309 14.513

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 102 83 0 278 0 119 99

N.S.

1 1.00 1.50 1.22 0.00 4.09 0.00 1.75 1.46

time (sec)

N/A 0.127 0.199 0.941 0.000 0.316 0.000 0.291 15.068

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 115 123 0 382 0 153 324

N.S.

1 1.00 1.35 1.45 0.00 4.49 0.00 1.80 3.81

time (sec)

N/A 0.225 0.455 1.231 0.000 0.312 0.000 0.317 14.723

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 238 192 0 459 0 211 1087

N.S.

1 1.00 2.00 1.61 0.00 3.86 0.00 1.77 9.13

time (sec)

N/A 0.546 0.942 1.579 0.000 0.372 0.000 0.315 15.792

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 258 252 0 535 0 286 991

N.S.

1 1.00 1.64 1.61 0.00 3.41 0.00 1.82 6.31

time (sec)

N/A 0.639 1.826 1.529 0.000 0.402 0.000 0.337 17.283

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 176 257 0 747 0 333 3852

N.S.

1 1.00 0.66 0.97 0.00 2.81 0.00 1.25 14.48

time (sec)

N/A 0.786 0.907 1.523 0.000 0.316 0.000 0.311 22.001

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 213 144 218 0 651 0 262 3751

N.S.

1 1.28 0.87 1.31 0.00 3.92 0.00 1.58 22.60

time (sec)

N/A 0.487 0.721 1.565 0.000 0.330 0.000 0.310 21.497

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 113 178 0 554 0 847 3180

N.S.

1 1.00 0.73 1.15 0.00 3.57 0.00 5.46 20.52

time (sec)

N/A 0.306 0.637 1.199 0.000 0.310 0.000 0.372 20.653

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 103 143 0 470 0 175 2872

N.S.

1 1.00 0.95 1.32 0.00 4.35 0.00 1.62 26.59

time (sec)

N/A 0.181 0.403 0.999 0.000 0.295 0.000 0.315 20.892

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 114 0 321 0 135 99

N.S.

1 1.00 0.98 1.34 0.00 3.78 0.00 1.59 1.16

time (sec)

N/A 0.084 0.265 0.959 0.000 0.273 0.000 0.311 15.171

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 84 114 0 320 2470 135 99

N.S.

1 1.00 0.98 1.33 0.00 3.72 28.72 1.57 1.15

time (sec)

N/A 0.062 0.171 0.829 0.000 0.280 34.660 0.293 14.363

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 146 164 0 592 0 198 2886

N.S.

1 1.00 1.24 1.39 0.00 5.02 0.00 1.68 24.46

time (sec)

N/A 0.263 0.400 1.490 0.000 0.466 0.000 0.311 20.080

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 163 205 0 750 0 332 3176

N.S.

1 1.00 1.05 1.32 0.00 4.84 0.00 2.14 20.49

time (sec)

N/A 0.443 0.857 1.734 0.000 0.473 0.000 0.327 20.860

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 285 273 0 899 0 293 3699

N.S.

1 1.00 1.31 1.26 0.00 4.14 0.00 1.35 17.05

time (sec)

N/A 0.742 3.814 1.826 0.000 0.712 0.000 0.316 21.327

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 499 330 0 1001 0 368 3843

N.S.

1 1.00 1.85 1.22 0.00 3.71 0.00 1.36 14.23

time (sec)

N/A 1.097 6.481 2.063 0.000 0.660 0.000 0.341 21.276

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 300 199 306 0 1161 0 1735 5962

N.S.

1 1.00 0.66 1.02 0.00 3.87 0.00 5.78 19.87

time (sec)

N/A 0.911 1.613 1.881 0.000 0.346 0.000 0.500 22.974

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 177 266 0 1029 0 354 5350

N.S.

1 1.00 0.80 1.20 0.00 4.66 0.00 1.60 24.21

time (sec)

N/A 0.549 1.223 1.385 0.000 0.341 0.000 0.321 21.552

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 149 233 0 913 0 319 5102

N.S.

1 1.00 0.83 1.30 0.00 5.10 0.00 1.78 28.50

time (sec)

N/A 0.347 0.945 1.443 0.000 0.314 0.000 0.322 23.091

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 115 180 0 587 0 250 203

N.S.

1 1.00 0.77 1.21 0.00 3.94 0.00 1.68 1.36

time (sec)

N/A 0.203 0.546 1.157 0.000 0.285 0.000 0.317 17.064

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 115 191 0 555 0 271 207

N.S.

1 1.00 0.86 1.43 0.00 4.14 0.00 2.02 1.54

time (sec)

N/A 0.148 0.347 1.081 0.000 0.293 0.000 0.317 16.757

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 113 182 0 585 0 251 203

N.S.

1 1.00 0.85 1.37 0.00 4.40 0.00 1.89 1.53

time (sec)

N/A 0.141 0.305 1.168 0.000 0.289 0.000 0.296 16.627

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 192 251 0 1142 0 344 5090

N.S.

1 1.00 1.05 1.38 0.00 6.27 0.00 1.89 27.97

time (sec)

N/A 0.488 0.948 1.669 0.000 0.800 0.000 0.316 23.975

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 232 205 292 0 1346 0 380 5347

N.S.

1 1.00 0.88 1.26 0.00 5.80 0.00 1.64 23.05

time (sec)

N/A 0.888 3.014 2.045 0.000 0.805 0.000 0.335 22.513

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 305 427 360 0 1524 0 801 5910

N.S.

1 1.00 1.40 1.18 0.00 5.00 0.00 2.63 19.38

time (sec)

N/A 1.198 6.522 2.439 0.000 1.470 0.000 0.348 23.246

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 307 240 395 0 1593 0 563 7494

N.S.

1 1.00 0.78 1.29 0.00 5.19 0.00 1.83 24.41

time (sec)

N/A 1.012 4.081 2.253 0.000 0.374 0.000 0.377 24.952

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 227 361 0 1445 0 531 7247

N.S.

1 1.00 0.91 1.44 0.00 5.78 0.00 2.12 28.99

time (sec)

N/A 0.653 2.034 1.749 0.000 0.355 0.000 0.354 27.411

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 222 158 281 0 893 0 399 378

N.S.

1 1.00 0.71 1.27 0.00 4.02 0.00 1.80 1.70

time (sec)

N/A 0.380 1.105 1.372 0.000 0.321 0.000 0.351 18.097

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 162 290 0 893 0 427 381

N.S.

1 1.00 0.79 1.41 0.00 4.33 0.00 2.07 1.85

time (sec)

N/A 0.346 1.024 1.385 0.000 0.309 0.000 0.328 18.372

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 164 293 0 891 0 427 382

N.S.

1 1.00 0.85 1.53 0.00 4.64 0.00 2.22 1.99

time (sec)

N/A 0.263 0.833 1.331 0.000 0.315 0.000 0.344 17.617

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 159 280 0 895 0 399 378

N.S.

1 1.00 0.86 1.52 0.00 4.86 0.00 2.17 2.05

time (sec)

N/A 0.261 0.673 1.230 0.000 0.310 0.000 0.312 18.194

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 274 379 0 1815 0 554 7235

N.S.

1 1.00 1.09 1.51 0.00 7.23 0.00 2.21 28.82

time (sec)

N/A 0.849 2.106 2.319 0.000 1.729 0.000 0.348 27.374

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 308 416 421 0 2048 0 587 7490

N.S.

1 1.00 1.35 1.37 0.00 6.65 0.00 1.91 24.32

time (sec)

N/A 1.389 6.575 2.624 0.000 1.686 0.000 0.378 23.520

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 214 827 0 474 0 0 0

N.S.

1 1.00 0.81 3.13 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 0.465 0.904 7.526 0.000 0.121 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 180 665 0 436 0 0 0

N.S.

1 1.00 0.87 3.21 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 0.329 0.666 6.686 0.000 0.108 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 137 452 0 398 0 0 0

N.S.

1 1.00 0.85 2.79 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.215 0.453 5.452 0.000 0.106 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 57 170 0 355 0 0 0

N.S.

1 1.00 1.00 2.98 0.00 6.23 0.00 0.00 0.00

time (sec)

N/A 0.048 0.035 3.005 0.000 0.098 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 81 194 0 0 0 0 0

N.S.

1 1.00 0.69 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 13.944 3.468 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 307 622 0 0 0 0 0

N.S.

1 1.00 1.56 3.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.591 14.873 4.964 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 393 977 0 0 0 0 0

N.S.

1 1.00 1.50 3.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.862 5.681 5.456 0.000 0.000 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 314 262 995 0 516 0 0 0

N.S.

1 1.00 0.83 3.17 0.00 1.64 0.00 0.00 0.00

time (sec)

N/A 0.832 1.057 8.671 0.000 0.152 0.000 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 214 827 0 474 0 0 0

N.S.

1 1.00 0.83 3.21 0.00 1.84 0.00 0.00 0.00

time (sec)

N/A 0.463 0.883 7.814 0.000 0.141 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 174 663 0 438 0 0 0

N.S.

1 1.00 0.87 3.33 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.289 0.614 6.557 0.000 0.135 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 134 450 0 398 0 0 0

N.S.

1 1.00 0.85 2.87 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.192 0.359 4.679 0.000 0.100 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 107 249 0 0 0 0 0

N.S.

1 1.00 0.60 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.383 26.932 4.426 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 363 740 0 0 0 0 0

N.S.

1 1.00 1.74 3.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.666 16.283 5.118 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 386 980 0 0 0 0 0

N.S.

1 1.00 1.51 3.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.929 5.854 6.467 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

371 371 268 1140 0 561 0 0 0

N.S.

1 1.00 0.72 3.07 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.742 0.987 14.836 0.000 0.176 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]